The SR-72 captured the imaginations of the moviegoing public in 2022 in “Top Gun: Maverick.” But is the plane now for real? What do we know about it?