public holiday in Nicaragua commemorating the Battle of San Jacinto in 1856 during the Filibuster War