A number of others have mini PCIE that you can add a PCIE SATA board to - https://www.amazon.com/Port-Controller-AsMedia-ASM1061-Chips...
If you are in North America, I would recommend purchasing from https://ameridroid.com/ or https://olympianled.com/brand/hardkernel/
Distributors are listed on https://www.hardkernel.com/distributors/
A number of others have mini PCIE that you can add a PCIE SATA board to - https://www.amazon.com/Port-Controller-AsMedia-ASM1061-Chips...