One of Mars' moons is going to auger in within about 30 million years, so if we plan to colonize, mining that moon right out of existence should be a priority, not least because it probably has materials that would be useful to the colony as well as Earth itself..