devil cast into lake of fire