Gulf war cost Iran $23 billion