A private jet clipped an unoccupied plane after landing at a Florida airport on Sunday, and according to multiple reports, it was former President Donald Trump’s aircraft.

A notice from the Federal Aviation Administration, viewed by WFLA, listed the aircraft that clipped the other while taxiing as “N757AF,” a registration number that can be clearly viewed on the side of Trump’s plane. In a statement to the Washington Examiner, the FAA said it was investigating the incident but did not state whether the taxiing jet was Trump’s plane.