Western Europe records hottest June-July as oceans hit all-time July high · Pollar