Comment by 174SIGSEGV

We joke, but there actually was an aircraft carrier by the name HMS Theseus. It was under construction towards the end of the Second World War, and deployed to Korea in 1950.

https://en.wikipedia.org/wiki/HMS_Theseus_(R64)