The taking of Porto Bello by Vice Admiral Vernon