Infrastructure law helps to dredge Petersburg Harbor for first time in 42 years