President Trump nominates Pam Bondi for US attorney general