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
Lithobraking launched, including penetrators on the two Phobos probe landers targeted for Mars' moon Phobos and ones for Mars itself on Mars 96 and Deep Space 2, but so far none have succeeded. The cancelled LUNAR-A probe would have carried penetrators to the Moon. Lithobraking as a method for de-orbiting a spacecraft has not been used due to the extremely high orbital velocities of most bodies (e.g. for the Moon it is over 7000 km/h). However, some small moons and asteroids have very low gravity and it could conceivably be used there (e.g. Phobos has an "escape velocity" of 40 km/h.)