Designed by Clarence 'Kelly' Johnson, which twin-engine World War II fighter aircraft was nicknamed the 'fork-tailed devil' by German Luftwaffe pilots?