Izumi City has not yet been mentioned.