哥斯达黎加内战死了多少人