Was the 17 Pounder the best Allied Anti-Tank Gun in WW2?