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 but that accommodating Mars One requirements would require some additional work and that such action was not a part of the current focus of SpaceX. SpaceX has no ongoing contracts with Mars One. The first Mars One cargo mission to Mars is proposed to launch by 2022, followed by a crewed mission in 2024, but without funds, hardware, and without a launcher it is seen as unlikely to happen. A hypothetical crewed interplanetary spacecraft, for which there are no concept design studies, would be assembled in low Earth orbit and comprise two propellant modules: a Transit Living Module (discarded just