Federico is single, age 40, and earns $27,000 working at a Puerto Rico grocery store. He also has interest income of $10,000 from the Bank of Miami in Florida. Must he file Form 1040?