Seconding the comment on picking the longer transatlantic sector to have a less disturbed overnight. JFK is a short short night flight. ORD is just that bit long enough to get some more ‘normal’ rest, but DFW (and Flagship Lounge + airside transfers) would be better still, if that’s open?