Enligt de nya mätningarna är Mars ’diameter