HORTICULTURE: The Washington navel orange is also called the Bahia; it was imported from the state of Bahia in this country