The Castillo de San Marcos isn’t just any old pile of rocks – it’s a 17th-century Spanish fortress that’s seen more action ...