Text this: The chain covering number of a poset with no infinite antichains