Every Kidd has his day: A story of how pirates forced the English to reevaluate their foreign policy in the Indian Ocean (1690-1700)