Deimos

Deimos is the smaller of Mars' two asteroid moonlets. It is a penal mineral mining colony that mines and ships minerals to Mars where they are refined. The moonlet was first colonized in 2050. It's main exports are graphite and diamonds. Deimos has a small population of under-paided miners, 789 to be exact.