[Distinguished Lecture] Finite-time blowup of Navier–Stokes with smooth forcing