Peter Keen: oceanography and music