Senate boosts funding for port security