That is a horrible price for a 1080ti 11gb. I wouldn't pay more than $750 for a 1080ti, so that's about $400 too expensive and ROI will be ridiculous for that kind of price.  From that list, it looks like your best options are either RX580, or 1050TI in my opinion. I would honestly search for a better price of 1080ti's though, because that would be the card to go for if you can manage it. The price on these cards seem so arbitrary and you should probably expand your search.