A380's diverted from JFK