President Muhammadu Buhari discusses with Trump on possibility of U.S. arms deal