lorain is part of ohio