Edward Pococke's Arabic translation of Grotius,