Is the prince of Tyre in Ezekiel 28 the devil? — Craig S. Keener