I believe that you are correct, and I agree with you that these verses are speaking to that old devil, satan.
As with the earlier verse, unfortunately, my obviously defective memory tells me that certain FR Calvinists do not believe that these verses are about satan, rather, they believe that it ONLY describes the human person, "The King of Tyre."
As before, I am probably wrong about this memory, also.
DG
p.s. I think that we might be able to discern, or deduce, from the Bible, a lot more about this "problem of Evil." (But, it wouldn't be easy or quick.)