Gulfstream G-IV aircraft (registration N120JE) used for a flight on September 25, 2017, from Palm Beach International to Teterboro Airport