Question:~ Who taught a naval captain a hornpipe?