Dredging of Puerto Rico's biggest port begins despite warnin