This is the first time an F-35 has shot down a manned fighter jet. We will probably get more details throughout the day, but ...