David Irving - Did Churchill really consider making peace with Hitler in 1940?