Pico del Este Radar Station, Puerto Rico Personnel Roster