Finding descending sequences through ill-founded linear orders