As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
JFK - INFLIGHT DFW-MAD. CREW REPORTED DURING FLIGHT EQUIPMENT COOLING OVERHEAT MESSAGE FOLLOWED BY LEFT HAND FLIGHT MANAGEMENT COMPUTER UNABLE TO RESPOND. EMERGENCY DECLARED FLIGHT DIVERTED JFK LANDED WITHOUT INCIDENT. REPLACED LEFT FMC. SYSTEM GROUND CHECK NORMAL OPERATION.