Printing a couple pink neckties from woodcuts for National Necktie Day (October 18)