Dynamics of Sea Lamprey, Petromyzon marinus, spawning migrations in large rivers, with application to population assessment and control in the Great Lakes