A Navigation System for Augmenting Laparoscopic Ultrasound