Sequential compactness vs. countable compactness