Deimos

Deimos is a moon of Mars.

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