Oklahoma governor appoints energy executive Alan Armstrong to US Senate seat vacated by new homeland security secretary