In the book of Psalms, what did it say should happen with Judas' position of leadership?

The Psalms said that Judas' position of leadership should be fulfilled by someone else.