in what district is the incumbent lawrence j. smith?
florida 16