the hole in the bottom of the sea richard dyer bennet lyrics music