Activity in the vast U.S. services ​sector accelerated in July, aided in part by spending around the FIFA World Cup and the Independence ‌Day holiday, while the pace of growth in the manufacturing sector eased to the slowest since March amid a slowdown in precautionary stock building prompted by the U.S.-Israeli-led war with Iran.