Venom, De Havilland Venom and Sea Venom