Waiver of claims arising as a result of collisions between vessels of war