How fast was the shell that the Navy fired from the railgun?