Was Mars’ Olympus Mons volcano once an island?