Broadway-standard theatrical productions are now a common feature aboard the world’s largest cruise ships, with…