Is POTUS really on AF1?

If that flight is due into DC at say 7-8 PM Eastern and it's a 14 hour flight from Seoul, then he'd had to have left Seoul by 5AM Eastern. But he still had to meet the troops in SK.

Is this math working out? Is that really AF1?