Was Puerto Rico's Power Grid Really 'Dead' Before Maria?