Could push button connected to shunt trip coils be the disconnecting means for shore receptacles per NEC 555.17(B)? That's kind of remote contact to trip the circuit breaker for shore receptacles(500A).
------------------------------------------
NEC 555.17(B)Location. The disconnecting means shall be readily accessible, located not more than 762 mm (30 in.) from the receptacle it controls...