The cost of war: Gulf energy infrastructure left facing a $25 billion repair bill