Churchill wanted Hitler executed: documents