"What time is it? Showtime!" Before our mission I enjoyed the musical Hamilton and listened to the soundtrack many times. I wondered if...