Moons of Mars these 'predictions', two craters on Deimos are named Swift and Voltaire, while on Phobos there is one named regio, "Laputa Regio", and one named planitia, "Lagado Planitia", both of which are named after places in "Gulliver's Travels" (the fictional Laputa, a flying island, and Lagado, imaginary capital of the fictional nation Balnibarbi). Many of the craters on Phobos are also named after characters in "Gulliver's Travels". Asaph Hall discovered Deimos on 12 August 1877 at about 07:48 UTC and Phobos on 18 August 1877, at the US Naval Observatory in Washington, D.C., at about 09:14 GMT (contemporary sources, using the
Exploration of Mars a focus on Phobos. Phobos 1 lost contact on the way to Mars. Phobos 2, while successfully photographing Mars and Phobos, failed before it was set to release two landers to the surface of Phobos. Roughly two-thirds of all spacecraft destined for Mars have failed without completing their missions, and it has a reputation as a difficult space exploration target. Missions that ended prematurely after Phobos 1 and 2 (1988) include (see Probing difficulties section for more details): Following the 1993 failure of the Mars Observer orbiter, the NASA Mars Global Surveyor achieved Mars orbit in 1997. This mission was