NATO Weighs July Hormuz Action as 5,000 US Troops Exit Europe