How the Hawaiian Power Grid Works