Royal Palm Beach High School students moved after report of alligator near portable classrooms