Trump says Osama Bin Laden's son was killed in US operation