A replacement name for the endemic Rattus (Muridae, Mammalia) of the island of Obi, Indonesia