Source: Kenya was warned of Garissa school attack