Biden chooses female admiral to lead US Navy: official