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
Moons of Mars pre-1925 astronomical convention that began the day at noon, give the time of discovery as 11 August 14:40 and 17 August 16:06 Washington mean time respectively). At the time, he was deliberately searching for Martian moons. Hall had previously seen what appeared to be a Martian moon on 10 August, but due to bad weather, he could not definitively identify them until later. Hall recorded his discovery of Phobos in his notebook as follows: The telescope used for the discovery was the 26-inch (66 cm) refractor (telescope with a lens) then located at Foggy Bottom. In 1893 the lens was