When the army was abolished in 1948, does it have any effects on the economy growth of Costa Rica and its property market - Costa Rica real estate?