RedBoard - 16MHz crystal part?

Hi, I’m wondering if someone could provide the part number for the RedBoard 16MHz crystal? I don’t see it in the hardware design files on git.

Thank you!

Most of the Redboards with external crystals use a 12MHz one https://www.digikey.com/en/products/det … T3/2623783