Fluid Core Size of Mars from Detection of the Solar Tide