A US spectrum auction just raised $3.5B to pay for ripping out Huawei — Blankdot