Given what had happened to the first three aircraft, it would not surprise me to learn that it actually was shot down. My condolences are extended to the passengers and crew, and very definitely the F-16 pilots and their commander; it cannot have been (and still cannot be) an easy decision for any of them.