Now it’s not very often that music from a movie musical makes it into the mainstream world, being played on radio and television on a regular basis, but there is one movie musical that has achieved this, and that is The Greatest Showman. The 2017 Hugh Jackman led spectacular went global, and made stars of…