World Aug 17 Iranian tanker to leave Gibraltar soon despite US pressure By Aritz Parra, Hernan Muñoz, Associated Press