Title: Songs, duets, trio, and choruses, in The mariners