World | Mon Aug 19, 2013 12:12pm EDT

European Union sets Gibraltar mission as tensions simmer