A death knight is a CR 17 undead in the Monster Manual.

Hopefully, this is not what your player meant. But I thought it worth pointing out.