The steady frequency required from a ship service generator for electrical power is maintained by means of a __________.