El Castillo de San Felipe es la obra militar más grande