Subsequently, in October 2001, U. Who helped the US invade Afghanistan?