The promotion of the admiral, and other sea comedies