The unsuccessful German invasion of Britain during in World War II was codenamed Operation Sealion