The Fall of Portuguese Ceylon, 1638-56: Military, Diplomatic and Political Aspects in the Decline of an Empire