Gulliver's Travels or satellites, which revolve about Mars". This may have influenced Voltaire, whose 1750 story "Micromégas" also refers to two moons of Mars. In 1877, Asaph Hall discovered the two real moons of Mars, Deimos and Phobos; in 1973 craters on Deimos were named Swift and Voltaire, and from 2006 numerous features on Phobos were named after elements from "Gulliver's Travels", including Laputa Regio, Lagado Planitia, and several craters. The term "Lilliputian" has entered many languages as an adjective meaning "small and delicate". There is even a brand of small cigar called Lilliput. There is a series of collectable model houses
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