20170511 business.international-business: Wall St mixed after Trump fires FBI head; Nasdaq hits record high