Title: The international boundary line of Michigan