The first new US coal mine of the Trump era will employ fewer people than an average supermarket