Bouger gravity maps, rock property data, and principal facts for gravity data compiled for the island of Puerto Rico and vicinity