Richard Penn — English official and writer