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.