restaurante del castillo de san josé