European experts make it official. July was hottest month on record