European stocks hit record high as Iran tensions ease, energy stocks slide