Deimos is a moon of Mars.
The moon is home to a penal colony, where its prisoners perform mining procedures.