Mystery of Mars 'doughnut rock' solved?