Phillies acquire Julio Mateo from Mariners

With 10 minutes remainign before the trade deadline, the Phillies have acquired relief pitcher Julio Mateo from the Mariners in exchange for a minor leaguer. This is likely just for insurance in case a starter goes down.