If you’re looking for this song on Spotify it’s callled Are You Ready For a Miracle. However the Joy to the world part is NOT in the versions on Spotify. I’m guessing Seaworld just put its own flare on the song and remixed it because I couldn’t find it anywhere. I wish they would just release the whole soundtrack.