Three border agents are shot - one fatally - off Puerto Rico coast