Pretty much any 11 speed cassette should work, other than Shimano that tend to shift better with Shimano chain...
That said the cassette is either a SRAM PG1130 or a Microsift XLE CS-H113
As we are in "covid times" for obtaining any QTY of components - I have to sometimes have different specs...