Tunnels going through the Castillo de San Felipe