Tacoma city manager one of the highest paid public officials in Washington after recent raise