The eleventh day of October shall be designated as "General Pulaski Memorial Day," in honor of General Casimir Pulaski, Polish patriot and American revolution military commander.
General Pulaski memorial day
Ohio Rev. Code Ann. § 5.222, under Chapter 5 | State Insignia; Seals; Holidays.
Ohio Rev. Code Ann. § 5.222