Invasion of England, 1940: Planning of Operation Sea Lion