I've never heard of a "double minor." In those cases, does one of the minor
penalties end with the scoring of a goal like with any minor penalty? IOW, would the double minor have been up after the Sharks scored their first two goals (both within :55)?