Asia before Europe: Economy and Civilisation of the Indian Ocean from the Rise of Islam to 1750