Email Record: Global Positioning System measurements on the Island of Hawaii from 1987 to 1990 /