Title: Basis of the Ohio-Michigan boundary dispute