StarTech, USB C Multiport Hub Adapter HDMI 4K SD/SDHC, DKT30CSDHPD3
Working great. There are some sign of uses.