Four endangered leatherback sea turtles killed by Florida boat strikes