guerra en Costa Rica