I inquired with the shipping company about the names- apparent the original owner of the company was a great musical aficionado who named his ships after plays he liked. That reply made me smile- the idea of an old salt-turned owner enjoying musicals to that extend seems so unlikely