El nombre original era Leviatán.