Patel has 5 less than 4 times as many trophies as Horatio. He has 19 trophies in all. How many trophies does Horatio have?