US aircraft carrier with 5,000 crew to call on Phuket. USS George HW Bush the second large warship to visit Kingdom after Mideast duty.