Nine killed in Colombia army raid on Gulf Clan drug cartel