What happened to the missing F-35?