boxing at the 1988 Summer Olympics – welterweight