Donald Trump was in Florida at the time of the incident.