shortest boxing match in history