Dredging of Puerto Rico's biggest port begins despite warnings it may harm turtles and corals