Portugal: Military base still in operation after major army warehouse burglary