Ceres mining

Ceres mining operation, a mining expedition on the asteroid Ceres.