NBC: Oklahoma executes a man who was transferred from federal custody by Trump officials