Gibraltar allows Iranian tanker Grace 1 to leave despite US detention request