F-117 Was, in Fact, a Night Ground-Attack Aircraft