Canon has the RF 5.2 dual fisheye, you can even get it refurbished.

https://www.usa.canon.com/shop/p/refurbished-rf5-2mm-f2-8-l-...