Abandoned convoy; the U.S. merchant marine in World War II