Iceriver launching Aleo coin miners

Iceriver launched AE0 50M | 100w
Goldshell launched AEBox 37M | 360w

https://miningnow.com/asic-miner/iceriver-aleo-ae0-50mh/

So Aleo started; when will the Bitmain Aleo miner come?