Senate budget amendment would fund at-sea monitoring