battle creek is part of michigan