Rigorous derivation of the compressible Navier-Stokes equations from the two-fluid Navier-Stokes-Maxwell equations