How an abandoned mine became Korea’s moon lab