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
Mars One before arrival at Mars) and a lander (see "Human Lander" below). In 2012, Mars One speculated that the Transit Living Module could potentially be designed and built by Thales Alenia Space. A concept study was produced by Lockheed Martin for a demonstration lander based on the 2008 "Phoenix" lander. In December 2013 Mars One awarded a contract to Surrey Satellite Technology for a study of the satellite technology required to provide 24/7 communication between Earth and the Mars base. Mars One proposed at least two satellites, one in areostationary orbit above Mars and a second at the Earth – Sun