John H. Martin — oceanographer