Imperial Strategy and Political Exigency: The Red Sea Spice Trade and the Mamluk Sultanate in the Fifteenth Century