The Clay Mathematics Institute's Navier-Stokes Millennium Prize problem contains four official variants