Mariners pulled trigger on Mike Leake trade just seconds before deadline