Marine Realms Information Bank, a Distributed Geolibrary for the Ocean.