Mars rotation and satellites