1752 Map East Indies, Thomas Jefferys