Dredging of Puerto Rico's biggest port begins as environmentalists warn of threat to turtles, corals