I wonder if Nicaraguan military would have made that mistake if Costa Rica still had its own military.