Input: Which county does the city where Zane Grothe swam a 04:07.25 500y freestyle lie ?
Output: Franklin County