The F-35 Has Big Radar Problems and the Fix Is Hilarious