Yes, red lentils are supposed to get mushy and break down into a puree-like texture when cooked. If you want lentils that retain their shape, try cooking red lentils with a different water ratio (see above) or, better yet, choosing green or brown lentils.