I have to say that R J Mitchell is not a name, or man, worthy of jokes. However, I would rather see the name as Mitchell International Airport - although there is one in the USA and named after Billy Mitchell.
Perpetuating his name in such a public way is not before time.
PPP