Masks for health care workers in short supply