use pump to drain lava in nether