More on the collapse of the Francis Scott Key Bridge in the Port of Baltimore