Navy Blue is called such, not because of its darkness, but because that was the shade of blue used by the British Royal Navy uniforms. The "Navy" refers to its use by that branch of the military.

If the army used a similarly dark red, then you could argue it's "Navy Red" but instead they wore a brighter scarlet.

So I would argue that bright red is the real "Navy Red".