Engineers pinpoint the source of Portal Lake's leak and now shift focus to fixing the dry reservoir