Is there a link between dinosaurs' extinction and this Martian volcano?