Robert Codrington — English author, known as a translator