Although India says it will not get involved militarily in Sri Lanka, there are reports that some 15,000 Indian troops have been moved to a south Indian port. In Kashmir, rebels fired a dozen rifle grenades at government headquarters in the provincial capital. The grenades fell short and injured a policeman and a civilian.