20200208 world.us: Top Yemen al-Qaida commander killed in US air strike; says Trump