Tokushima Prefecture
was a district located in Tokushima Prefecture, Japan.