Olive oil!? Blech! (scrapping tongue) Coconut oil RULES! Long ago, all movie popcorn was made with coconut oil until The Fats police (wrongly) maligned coconut oil.
I have a popcorn pan with the crank to make our popcorn on our gas stove. I salt ours with finely ground salt after coating the popcorn in rich butter we get from the local Amish.
LOL! So olive oil is what I had on hand one day years ago when we were out of any other oil in the entire house, workshop, or shed. :) Was jonesin' popcorn something fierce and gave it a go with olive oil. Been doing it that way ever since. It gives is just a slightly, ever so slightly, different taste.
FWIW, I've made it that way a few times with friends/family over and it is always a hit...even with one niece who actually didn't like popcorn. Now, the only place she ever has it is at my house. :)
Having said all that, I see quite a few people use coconut oil...so might try that some day.