Unsure, but I think the tune may be from a traditional song called "Spancil Hill." I'm thinking if this is the case, Bobby Sands would likely have used that as his basis rather than "Edmund Fitzgerald."