The city said it has devoted funds to pay city workers a Veteran's Day holiday ... and contribution. An aerial image of the capitol building in downtown Columbus, Ohio is seen here.