Histoire de l'isle de Ceylan - Ribeiro, João (Lorme, de, 1701)