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)