Which of these would be shorter if Earth rotated faster?