Ceratocystis omanensis, a new species from diseased mango trees in Oman.