During World War II did merchant ships have insurance against being sunk by the enemy? Did the national governments offer compensation?