Since the release of Disney's Encanto, an animated film that centers around the magical Madrigal family, the music written by Lin-Manuel Miranda has ... to the story of Colombia?