Porto Rico. Estimate of appropriation for additional revenue cutter to be used in Porto Rican waters [etc.].