火星の1日は少しずつ短くなっている。探査機InSightで判明、原因は不明