Global existence and smoothness for the three-dimensional Navier-Stokes equations via Israel-Stewart regularization | Synapse