Boxer Ezzard Charles loses against Jersey Joe Walcott