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 in 2012 was Astrobotic Technology. On 12 March 2013, Paragon Space Development Corporation was contracted to develop concepts for life support and the Mars Surface Exploration Spacesuit System, and it includes the pressure suit and the Portable Life Support System (PLSS) that permit survival outside the habitat. The suggested supplier of the suits is ILC Dover. The study was stated to be finished late summer 2013; Mars One released the results of this (ECLSS portion only) study to the public in June 2015, but did not fund its research and development. In 2013, Mars One signed a contract with Paragon