Five years ago, Amy was three times as old as Ben. If Amy is currently 20 years old, how old is Ben now?