A preprimed water discharge system with solenoid-operated pilot nozzles, supervised by a pilot piping system is known as a(n) ____.