Ships, Clocks, and Stars