Panama Reinforces Border Security after Attacks in Colombia.