If you take the 2nd link, it'll be a shade over 20K.
If you went with a 12400F, it'll be a little closer to 22K - but it would mean that, logically, your next upgrade would be replacing the 1080 with something more modern. With decent cooling, you can upgrade CPU all the way up to the 14900K...