Remembering NPR's Ken Barcus, a tough editor with a big hear