50 years of ocean discovery :National Science Foundation 1950--2000