Is it true that the Coronado Bridge in San Diego was designed so that if it ever collapsed in a time of war that the box girters would float to allow warships to push them out of the way and enable them to make to the open sea?