East Java — former electoral district in Indonesia (1955–2004)